Buy Used and New Rolf Drechsler Books

Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications

by Mehran Goli,Rolf Drechsler

ISBN 13: 9783030442842

Format: Paperback (187 pages)
Publisher: Springer
Published: 05 May 2021

Save for later

Information Storage: A Multidisciplinary Perspective

by Cornelia S. Große,Rolf Drechsler

ISBN 13: 9783030192648

Format: Paperback (253 pages)
Publisher: Springer
Published: 27 Nov 2020

Save for later

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

by Vladimir Herdt,Daniel Große,Rolf Drechsler

ISBN 13: 9783030548308

Format: Paperback (268 pages)
Publisher: Springer
Published: 16 Oct 2021

Save for later

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

by Sebastian Huhn,Rolf Drechsler

ISBN 13: 9783030692117

Format: Paperback (185 pages)
Publisher: Springer
Published: 20 Apr 2022

Save for later

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

by Rolf Drechsler, Mathias Soeken

ISBN 13: 9783030203221

Format: Hardcover (273 pages)
Publisher: Springer
Published: 17 Jul 2019

Save for later

Applications of Evolutionary Computing: EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 2004, ... 3005 (Lecture Notes in Computer Science)

by Günther R. Raidl,Rolf Drechsler,Jürgen Branke,Stefano Cagnoni,David W. Corne

ISBN 13: 9783540213789

Format: Paperback (588 pages)
Publisher: Springer
Published: 25 Mar 2004

Save for later

Formal Specification Level: Concepts, Methods, and Algorithms

by Mathias Soeken,Rolf Drechsler

ISBN 13: 9783319086989

Format: Hardcover (148 pages)
Publisher: Springer
Published: 30 Nov 2014

Save for later

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

by Ulrich Kühne, Rolf Drechsler

ISBN 13: 9783658099930

Format: Paperback (328 pages)
Publisher: Springer Vieweg
Published: 25 Jun 2015

Save for later

Reversible and Quantum Circuits: Optimization and Complexity Analysis

by Nabila Abdessaied,Rolf Drechsler

ISBN 13: 9783319319353

Format: Hardcover (210 pages)
Publisher: Springer
Published: 14 May 2016

Save for later

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (SpringerBriefs in Electrical and Computer Engineering)

by Julia Seiter,Robert Wille,Rolf Drechsler

ISBN 13: 9783319414799

Format: Paperback (104 pages)
Publisher: Springer
Published: 11 Jul 2016

Save for later

Exact Design of Digital Microfluidic Biochips

by Oliver Keszocze,Robert Wille,Rolf Drechsler

ISBN 13: 9783319909356

Format: Hardcover (146 pages)
Publisher: Springer
Published: 21 Jun 2018

Save for later

Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

by Arun Chandrasekharan,Daniel Große,Rolf Drechsler

ISBN 13: 9783319989648

Format: Hardcover (152 pages)
Publisher: Springer
Published: 24 Oct 2018

Save for later